∫ Mathematical DSLs - abnv · Scour

dropbox/dMATH: Formal verification and theorem proving tools 🧮Theorem Provers

github.com·2d·Hacker News·

Formally verifying digital circuits with category theory in Lean 🔗Category Theory

matt.hunzinger.me·5d·r/programming·

A+ 💬REPL Design

aplwiki.com·1d·Hacker News·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧩SAT Solvers

goedelcodeprover.github.io·6d·Hacker News·

The Evolving Foundations of Math 📐Mathematical Computing

quantamagazine.org·1d·Hacker News·

Products of consecutive integers with unusual anatomy 🧮Combinator Calculus

terrytao.wordpress.com·1d·

CatCrypt: From Rust to Cryptographic Security in Lean 🏗️Cranelift

eprint.iacr.org·6d·

Quantities and units library 📇Symbol Tables

open-std.org·2d·

I Solved 800+ LeetCode Problems in C# 🪢Rope Data Structures

dsasolved.com·2d·DEV·

Langlands Program 2.0 📐Mathematical Computing

math.columbia.edu·3d·

bqn-smt 🔢Algebraic Datatypes

codeberg.org·1d·Lobsters·

Report from the Croydon 2026 ISO C++ Committee meeting 🔬Nanopasses

mpusz.github.io·4d·r/cpp·

Combinators 🧮Combinator Calculus

tinyapl.rubenverg.com·1d·Hacker News·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·1d·Hacker News·

apology-is-policy/hyades: Unicode/ASCII Mathematical Typesetting Engine with LaTeX Input, VSCode Integration, MCP server, and Automatic Rendering into Source Code Comments 📝Rope Editors

github.com·18h·r/commandline·

Get Good at Math with Me 📐Mathematical Computing

upinnovation.substack.com·5d·Substack·

The Case for Composable Notations (6 of 5) - WIP 📚Self-Documenting Code

programmingsimplicity.substack.com·2d·Substack·

C++ support by stedolan · Pull Request #14701 🐪OCaml

github.com·7h·Hacker News·

Personal project: bringing Rust-style unicode invariants to C++ ⚙️TOML Parsers

github.com·18h·r/cpp·

bobeff/programming-math-science: This is a list of links to different freely available learning resources about computer programming, math, and science. 🎓Educational Compilers

github.com·6d·Hacker News·

Loading more...